<?php require("/public/slipb/web/Templates/http.phtml"); ?>
<html>
<head>
<!-- Pull in data header -->
<?php require("/public/slipb/web/Templates/meta.phtml"); ?>
</head>
<body>
<!-- Pull in layout header -->
<?php require("/public/slipb/web/Templates/header.phtml"); ?>

<!-- BEGIN PAGE CONTENT -->
<?php require("Overview.html"); ?>

<!--

<h1>General SLIP Bluteooth VCC Models Group Information</h1>
The <a href="assignment.html">work assignment</a> and <a href="timescale.html">progress report and timescale</a> slides, as presented at the term 1, week 10 meeting are now available. [Note that these are formatted for printing rather than web viewing]<p>

<h1>Group B Bluetooth VCC Models</h1>
In group B, <a href="mailto:jrmg@dcs.ed.ac.uk">James Montgomerie</a> is working on the RFCOMM and PPP layers of the bluetooth stack.  This page contains some detail on this work-in-progress.<p>
These models are stored in a VCC library in <tt>~jrmg/public/web/Vcc</tt>.  They can be
loaded into VCC for further inspection [including viewing of defined datatypes] by mounting share <tt>jrmg</tt> on
<tt>bigga.dcs.ed.ac.uk</tt>
<h2>RFCOMM</h2>
RFCOMM is the low-level serial communication protocol layer in Bluetooth. 
It transmits data by neans of frames which are submitted to it with a connection
identifier.<p>
<h3>RFCOMM Implementation Stage</h3>
Fortunately, the subset of RFCOMM identified as being required by the SLIP project is small, and should be implementable in a straightforward manner.  The current state of development is that Interfaces have been defined and internal state upkeep is in under development.
<img src=rfcomm.png><p>
<h2>PPP</h2>
PPP is a standard method for sending connectionless datagrams over point-to-point
links.  In Bluetooth, it runs 'on top' of RFCOMM and is used by IP.<p><img src=ppp.png>
<p>PPP is internally represented by a state machine, shown below.  Note that the
links are unlabeled - their labeling may be seen in VCC by looking at the link
properites.<p>
<h3>PPP Implementation Stage</h3>
The PPP implemenation is almost ready for testing.  The subset currently implemented does not include timeout mechanisms or authentication.
<img src=statemachine.png>
<p>

-->


<!-- END PAGE CONTENT -->

<!-- Pull in layout footer -->
<?php require("/public/slipb/web/Templates/footer.phtml"); ?>
</body>
</html>
